Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
531	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
532	Forth 200x Standards Committee #9 Haus Rissen, Hamburg, Germany 25–27 September 2013 Agenda 1. Attendance (AE) 2. Minutes of last meeting (AE) Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2013-11-09 06:57:11 Computing Programming language theory Software engineering Institute of Electrical and Electronics Engineers Forth
533	Inferred Interface Glue: Supporting Language Interoperability with Static Analysis by Tristan Ravitch Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-09-07 16:19:46 Data types Subroutines Type theory Procedural programming languages Pointer Type system Parameter GNU Linear Programming Kit Finalizer Software engineering Computing Computer programming
534	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
535	Microsoft Word - L2dataGuide_100416_参照__20100416173847_参照__20100419101309.doc Add to Reading List Source URL: smiles.tksc.jaxa.jp Language: English - Date: 2013-04-15 01:52:08 Data types Hierarchical Data Format Data file ALGOL 68 Computing Programming language theory Software engineering
536	Java Generics Frequently Asked Questions written and maintained by Angelika Langer Add to Reading List Source URL: www.angelikalanger.com Language: English - Date: 2015-01-17 08:22:53 Computer programming Polymorphism Type theory Cross-platform software Generics in Java Wildcard Mono project Type system C Sharp Computing Software engineering Java programming language
537	OFFICE OF NAVIGATION, HYDROGRAPHY AND OCEANOGRAPHY WEEKLY NOTICES TO MARINERS Add to Reading List Source URL: www.shodb.gov.tr Language: English - Date: 2015-01-23 08:02:22 Software engineering Cartography Notice to mariners C++ Datum ALGOL 68 Delete 21 Programming language theory Navigation Hydrography
538	Debsources Live and Historical Views on Macro-Level Software Evolution Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2014-06-30 05:07:06 Procedural programming languages Free and open source software Denis Diderot Stefano Zacchiroli Debian ALGOL 68 Foss Computing Software Programming language theory
539	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
540	Part1: On the learning and using of C++ Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Cross-platform software Procedural programming languages Programming paradigms Type theory C++ C Programming language Type system Î Software engineering Computing Computer programming

UPDATE